Experiences of Using Verification Tools for Maintenance of Rule-based Systems
نویسندگان
چکیده
This paper reports on the use of tools that statically analyze rule-bases in order to detect logical errors, such as redundancy, inconsistency, and incompleteness. The analysis uses a variant of the KB-Reducer algorithm (Ginsberg 1991). In contrast to accounts of similar tools, which seldom describe tools as used in the field, the experience described in this paper is derived from using tools to analyze a large suite of knowledge bases in production use at Boeing. The tools serve to augment he ongoing process of knowledge base maintenance. Common causes of errors detected are reported. This paper shows that making such tools practical is non-trivial but rewarding.
منابع مشابه
Availability analysis of mechanical systems with condition-based maintenance using semi-Markov and evaluation of optimal condition monitoring interval
Maintenance helps to extend equipment life by improving its condition and avoiding catastrophic failures. Appropriate model or mechanism is, thus, needed to quantify system availability vis-a-vis a given maintenance strategy, which will assist in decision-making for optimal utilization of maintenance resources. This paper deals with semi-Markov process (SMP) modeling for steady state availabili...
متن کاملFinding Conceptual Models to Assist Validation
Many approaches to knowledge based systems (KBS) development attempt to build complete systems that are mostly considered final before they are put into production. Verification and Validation (V&V) is seen as an activity performed before the system is installed and little consideration is given to incremental KA, maintenance or validation of the system after installation. We take a situated vi...
متن کاملRFID-based decision support within maintenance management of urban tunnel systems
Efficiently, tracking information related to components, materials and equipment from the production/construction phase to operation and maintenance is a challenge in the industries. The industry environment is a natural fit for generating and utilizing instance-level data for decision support. Advanced electronic identification and data storage technologies e.g. radio frequency identification ...
متن کاملS3PSO: Students’ Performance Prediction Based on Particle Swarm Optimization
Nowadays, new methods are required to take advantage of the rich and extensive gold mine of data given the vast content of data particularly created by educational systems. Data mining algorithms have been used in educational systems especially e-learning systems due to the broad usage of these systems. Providing a model to predict final student results in educational course is a reason for usi...
متن کامل